Skip to content

CI build#51

Merged
zkat merged 1 commit intomainfrom
zkat/ci
Jul 22, 2025
Merged

CI build#51
zkat merged 1 commit intomainfrom
zkat/ci

Conversation

@zkat
Copy link
Copy Markdown
Member

@zkat zkat commented Jul 22, 2025

Fixes: #45

Fixes: #45
@zkat zkat merged commit da63fbe into main Jul 22, 2025
9 of 10 checks passed
@zkat zkat deleted the zkat/ci branch July 22, 2025 21:37
@zkat zkat added the technical improvement Non-user-visible technical improvement label Aug 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

technical improvement Non-user-visible technical improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Set up CI

1 participant